সত্যক সারণি (Truth Table) হলো একটি গাণিতিক টেবিল যা লজিক্যাল অপারেশনগুলির ফলাফলকে উপস্থাপন করে। এটি বুলিয়ান লজিক এবং ডিজিটাল ডিজাইনিংয়ে ব্যবহৃত হয়। সত্যক সারণি বিভিন্ন লজিক্যাল গেট যেমন AND, OR, NOT ইত্যাদির কার্যকারিতা এবং তাদের আউটপুট নির্ধারণে সাহায্য করে।
সত্যক সারণির মৌলিক উপাদানসমূহ:
- প্রবেশদ্বার (Inputs): লজিক্যাল ভেরিয়েবলগুলি যা সত্যক সারণিতে ব্যবহৃত হয়। সাধারণত এটি A, B, C ইত্যাদি দ্বারা চিহ্নিত করা হয়।
 - প্রসঙ্গ (Output): সারণির আউটপুট যা প্রবেশদ্বারের ভিত্তিতে নির্ধারিত হয়।
 
উদাহরণ:
১. AND গেট:
AND গেটের আউটপুট তখনই 1 হয় যখন সমস্ত ইনপুট 1 হয়।
| A | B | A AND B | 
|---|---|---|
| 0 | 0 | 0 | 
| 0 | 1 | 0 | 
| 1 | 0 | 0 | 
| 1 | 1 | 1 | 
২. OR গেট:
OR গেটের আউটপুট 1 হয় যদি অন্তত একটি ইনপুট 1 হয়।
| A | B | A OR B | 
|---|---|---|
| 0 | 0 | 0 | 
| 0 | 1 | 1 | 
| 1 | 0 | 1 | 
| 1 | 1 | 1 | 
৩. NOT গেট:
NOT গেটের আউটপুট ইনপুটের বিপরীত হয়।
| A | NOT A | 
|---|---|
| 0 | 1 | 
| 1 | 0 | 
মাল্টিপল ইনপুটের সত্যক সারণি:
যখন একাধিক ইনপুট হয়, তখন সত্যক সারণির আকার বাড়ে। উদাহরণস্বরূপ, দুইটি ইনপুট A এবং B এর জন্য চারটি আউটপুট সম্ভব।
উদাহরণ: A AND B OR C
| A | B | C | A AND B | (A AND B) OR C | 
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | 
| 0 | 0 | 1 | 0 | 1 | 
| 0 | 1 | 0 | 0 | 0 | 
| 0 | 1 | 1 | 0 | 1 | 
| 1 | 0 | 0 | 0 | 0 | 
| 1 | 0 | 1 | 0 | 1 | 
| 1 | 1 | 0 | 1 | 1 | 
| 1 | 1 | 1 | 1 | 1 | 
সত্যক সারণির ব্যবহার:
- লজিক ডিজাইন: ডিজিটাল সার্কিট ডিজাইন করতে।
 - প্রোগ্রামিং: শর্তাধীন বিবৃতি বিশ্লেষণ করতে।
 - সিস্টেম বিশ্লেষণ: লজিক্যাল শর্তগুলির ফলাফল নির্ধারণে।
 
সত্যক সারণি ডিজিটাল লজিক এবং বুলিয়ান অ্যালজেব্রায় একটি অপরিহার্য টুল, যা সিস্টেমের আউটপুট এবং লজিক্যাল সম্পর্ক বোঝার জন্য ব্যবহৃত হয়।